منابع مشابه
Applying verification methods to non-exhaustive verification of software/hardware systems
In order to handle the increasing complexity of hardware / software designs, system level design methods are being used. These methods are directed to produce operational system models at a high level of abstraction. They can be used to assess early in the design phase if specific functional or performance requirements can be met. Since the systems that are being designed are often concurrent a...
متن کاملSoftware Verification
When a technology reaches a higher level of maturity, its development begins to diversify and to differentiate. In 1885 engineers were happy to build the first car powered by a gasoline engine. Today we see a whole spectrum of vehicles ranging from city cars, limousines, off-road vehicles, sports cars, buses, trucks, etc., that share some basic technologies but greatly differ in details. Softwa...
متن کاملCharacterization of Software Quality Assurance Methods: Five Methods for Verification of Learning Systems
While learning systems offer great promise in reducing cost and improving quality of control applications [12, 11], they also raise thorny issues in terms of the mismatch between the quality standards that these systems must achieve [10] and the available technology. There is widespread agreement [7, 8, 9, 12, 11] that current verification technology does not apply to online learning systems, w...
متن کاملVerification of Concurrent Software
Increasing complexity and widespread use of concurrent programs coupled with the pervasion of software systems handling diverse costly, heavily loaded and safety critical equipment has led to the need for benchmarking multithreaded software systems and verification of their reliability. This seminar surveys some of the recent approaches to practical software verification.
متن کاملVerification of Evolving Software
We define the substitutability problem in the context of evolving software systems as the verification of the following two criteria: (i) previously established system correctness properties must remain valid for the new version of a system, and (ii) the updated portion of the system must continue to provide all (and possibly more) services offered by its earlier counterpart. We present a compl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science and Education of the Bauman MSTU
سال: 2015
ISSN: 1994-0408
DOI: 10.7463/1015.0823129